Il genere <em>Duvalius</em> nell’isola di Creta, con descrizione di <em>Duvalius</em> (<em>Duvalius</em>) <em>augusti </em>specie nuova (Coleoptera Carabidae Trechinae)

Il Birraio di Preston di Andrea Camilleri

Nella letteratura italiana degli ultimi decenni lo scrittore Andrea Camilleri rappresenta un caso raro di successo editoriale e di pubblico, con centinaia di migliaia di copie vendute, traduzioni in molte lingue, riconoscimenti e convegni in suo onore. Uno dei suoi titoli più noti è il romanzo storico Il Birraio di Preston. Lo scrittore è diventato famoso presso il grande pubblico inizialmente ...

Sintesi di algoritmi con SKY

In questo lavoro viene proposta una estensione del linguaggio datalog [CP97]. datalog è un linguaggio logico basato su datalog, la cui innovazione sostanziale consiste nell’aumento della potenza espressiva, tramite l’introduzione di una semantica basata sulla circoscrizione, un meccanismo deduttivo non monotòno che generalizza l’ipotesi di mondo chiuso. Questo tipo di semantica fornisce interes...

Descrizione del Linguaggio Fuzzy per l'Interrogazione di Viste

Con di tions in Ocean Models

sim i la tion for Op ti mizing Bound ary Con di tions in Ocean Models K. Kazantseva, E. Kazantsev, and M. A. Tolstykh d Universite Grenoble Alpes, Laboratoire Jean Kuntzmann, 51 rue des Mathematiques, Cam pus de Saint Mar tin d’Hères BP 53, Grenoble cedex 09, 38041 France INRIA, Laboratoire Jean Kuntzmann, 655 av e nue de l’Europes, Saint Ismier Cedex, 38334 France, e-mail: [email protected] In sti...

Du’an Karst of Guangxi: a kingdom of the cavernicolous genus Dongodytes Deuve (Coleoptera, Carabidae, Trechinae)

Recent cave biodiversity surveys carried out in Du'an County and its adjacent areas of northwestern Guangxi, China, have revealed some exciting scientific findings. In a very limited area seven new species of the cavernicolous trechine genus Dongodytes Deuve, 1993 were found and are described: Dongodytes(s. str.)elongatussp. n., Dongodytes(s. str.)troglodytessp. n., Dongodytes(s. str.)lanisp. n...